Type inference - PDFSEARCH.IO - Document Search Engine

Type inference
Results: 490

#	Item
31	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:18 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
32	Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter Buneman Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-12-31 07:06:15 Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function
33	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
34	Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2014-03-18 17:06:31 Software engineering Computing Computer programming Type theory Data types Functional languages Procedural programming languages Cross-platform software Type inference Scala Covariance and contravariance Type system
35	Package ‘ctbn’ May 1, 2014 Type Package Title R Package for Continuous Time Bayesian Networks Version 1.0 Date Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2014-05-01 22:51:52 Logic Statistics Knowledge Data types Bayesian network Networks Pointer Inference Stan
36	Polymorphic types Polymorphism, Recursive Data Types, and Trees Consider the good old length function: Björn Lisper Add to Reading List Source URL: www.idt.mdh.se Language: English - Date: 2013-11-21 03:21:54 Software engineering Type theory Computing Computer programming Data types Recursion Polymorphism Recursive data type Eval Type inference Type system ECL programming language
37	Improved Type Specialization for Dynamic Scripting Languages Madhukar N Kedlaya† † Jared Roesch† Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Computer programming Computing Cross-platform software Procedural programming languages Type theory Functional languages Object-oriented programming languages Type inference Type system Inference SpiderMonkey
38	False-Positives, p-Hacking, Statistical Power, and Evidential Value Leif D. Nelson University of California, Berkeley Haas School of Business Summer Institute Add to Reading List Source URL: www.bitss.org Language: English - Date: 2016-01-25 14:32:58 Hypothesis testing Statistics Hacking Statistical inference Computing Hacker culture P-value Type I and type II errors False positive rate Hacker
39	From Hindley-Milner Types to First-Class Structures Mark P. Jones Department of Computer Science, University of Nottingham, University Park, Nottingham NG7 2RD, England. Abstract Add to Reading List Source URL: web.cecs.pdx.edu Language: English - Date: 2005-10-01 03:14:51 Type theory Software engineering Programming language theory Computer programming Standard ML System F ML Type constructor Polymorphism Kind System U Type inference
40	Dynamic Inference of Abstract Types Philip J. Guo Jeff H. Perkins Stephen McCamant Add to Reading List Source URL: pgbovine.net Language: English - Date: 2014-01-03 23:24:44 Software engineering Computing Data types Programming language theory Type theory Type system Array data type Scala Abstract data type Variable Type inference HindleyMilner type system